We now take a TESTFILE arg on the command-line.