diff --git a/src/engine/yyacc.bat b/src/engine/yyacc.bat
new file mode 100755
index 000000000..75bf2e0b0
--- /dev/null
+++ b/src/engine/yyacc.bat
@@ -0,0 +1 @@
+bash -c "./yyacc %*"