Add batch file for convenience