braindead argv stuff for hart.py