Fix gh-pages.py