Some improvements in the dotfiles script