correct name of OBO file