fix provision of the build server