yyerror: no - filename, no ending dot (for easier pasting)