Tiny fix in build scripts.