Batch files for easy compilation on Windows.