Attempt to workaround 404 problem with gh-pages