Default travis install did not work; go back to building it ourselves.