Fixed a problem in the build system