Try another travis workaround