scripts and files used to run difx