Delete _pushtos3.sh~