more fixes for broken gh-pages