Fix tests.html on gh-pages