no timing, otherwise it brings bogus diff in git
set options(digits=4) due to yihui/knitr#777