* bench/ltl2tgba/Makefile.am (run): Remove wfair.txt. (small.txt, big.txt, known.txt) Add a dependency to ltl2tgba.