coverage.sh: update the script for gcc-aux