ninja_build.py: Make it work for both Windows and Linux