simplifying the Travis setup... hopefully