another possible travis workaround :(