BuildKit updates for make gh-pages-updated