Small fix in build script.