Hopefully fix CI build