pull.sh now also tweaks dot files