Minor bugfix in build script