sync.sh: delete extraneous files