Remotely execute a batch file