div2tex failure on travis. disbling vignette build for test