BuildKit updates for gh-pages generation