travis workaround