CI build script tweak