Ignore protege catalog file