Ignore file extensions for #2