Como todo script, alojado en Google Code, no hace falta que sea descargado; puede hacerse hotlink directamente.
De esta forma, el código debería ser insertado así:
<script src="http://html5media.googlecode.com/svn/trunk/src/html5media.min.js"></script>
Así, entonces, quedaría el código que inserta el video:
<video src="video.mp4" width="320" height="240" controls autobuffer></video>
Si querés ver este script en acción, podés seguir el siguiente enlace: http://static.etianen.com/html5media/
Sitio Web | Google Code