removed attempt to auto-config galaxy-obo...need better way to do this