batch file for pointing to a batch file