Revert "Remove the batch script"

This reverts commit a9b86af9d6f0da3dffb6f136b319c8ff4f01468a.