minor fix in build script