Correct open-msh-player.
Merge branch 'master' into gerland_2013