Update saxon.sh