correct sbol.txt pathing