Change mysql command file syntax to also work on Windows