Fixed a bug in the build script