Ben: updating travis hooks