fixed a bug in the build system