Fix nohup patchbot crash.