Fix bugs in install-dotfiles