I tried converting .ipt files to other formats with the falcnvrt16 program in the first link, but it didn't recognize them. As I understand it, your script makes this possible, but how would I go about using it? Is there a way I could use it from the command line, or do I need to install...