Hi Marco, thanks for pointing that out! I have deleted the obsolete bnfc directory moments ago. That happened, because I renamed bnfc/default.nix to BNFC/default.nix using git-svn. Git doesn't track directories on their own, it just tracks file, so the old directory was left over in SVN. Take care, Peter