do not use html5-gsoc2012 branch for html5 buildout