Fixed Linux alternate format bug

In Linux the menu option to save to MP4 files was buggy. This now works
correctly in Windows and Linux.