vlc.c: Make sure exiting after two Ctrl-C is instantaneous on Mac OS X.