Update semiautotex.sh