Small fix for build server