Check file extensions in patchers