Make VLC Video player the default media player again.