diff.sh: copy files if necessary
install.sh: fix .shell directory creation