Remove RecordWildCards from required extensions