Remove references to batch files
The need for the batch files and the files themselves were removed some time ago.