Another attempt to fix gh-pages generation