ensure that install_github finds devtools in packrat mode