hopefully fix CI