#4273 "clean" exit -> crash