use `MkvsynthError` instead of `yyerror`