Precompile html5.js explicitly

(really this time. Sheepish grin)