fix Travis configuration we just broke