Fixed bug in get_shared_object_path() routine in config.py for Python 3