mplayer: small tweak to hide video window when application is about to shutdown.