Make spawn.py working also on Linux. Hopefully I didn't break windows support.