use proper travis