Don't call exit(0), it shouldn't be necessary anymore, and it breaks profiling
tools...
Exit more forcefully if the UI process dies...