Misc CI fixes.