Explicit filenaming to make mplayer's life easier