kill travis workaround