Small tweak to build scripts