Tweak CI build