small fix in build script