installation by devtools::install_github() does not work