Add travis fixes13