Revert to old travis settings to see if this fixes things