Change of plans: we are going to release o3 and o4-mini after all