Fixed a bug that prevented a build on the build server