fix starman pid handling by monkeypatching