: "${AWK=@AWK@}"
: "${CC=@CC@}"
: "${EXEEXT=@EXEEXT@}"