Use ttyeden built for ubuntu 12.04 for travis.