[[ Bugfix 13294 ]] Fix a Linux MPlayer crash