unison is stupid, so we use an incomplete profile and complete it locally