More pointless CI fixes