HTML5FrontEnd: Compile fix for non-HTML5 targets