[#29] Note that build.py is not directly executable on Windows.