html5 video: fix #145