Removes VLC extension as it doesn't work in 14.04 anyway