BUGFIX: gremlin.py will reopen file and file not close