TregexPattern: support loading files only of a particular extension