Delete verify-syntax.sh~