added run batch file for convenience