Stop using awk instead of gawk. cloog