Add travis workaround