Fix up batchfile extension