Minor fix in build script