small fix to build script