HTMLMediaElement uses the built-in audio/video elements, and doesn't depend on our MediaElementProto at all; if this file doesn't depend on it, why should it be listed as a dependency?