Tiny update of build scripts