Yes, ditch VLC.

However, gecko-mediaplayer is an unofficial replacement for mplayerplug-in so get that instead.