Fix the build of bootstrap-extensions