Mask older versions of mplayer and Tomcat 7