infrastructure for ignore extensions