Play nice with devtools::install_github (fixes #4)