on linux-x86_64 treedist generates an empty outfile. Need to check this on other platforms.