devtools 1.5.0.9001 (b102011) on r-release (3.1.1)