Really fix CI this time