Attempt to fix gh-pages generation