EXTERN: Ignore fetched files