Switch from FactCheck to RunTests
checkout RunTests in travis until I tag again