Ignore protege catalog files