cleanup: mplayer.c: clean up pause_loop() a bit