remove -Dproprietary_codecs=1, fixes html5 video playback