REVIEW: fix batchfile line endings

Also remove unused "dump" option