stop_all_by_force.py didn't work on linux

I believe this fixes it.