a parte gawk sembrerebbe tutto in regola, prova a controllare il config.log (così come suggerito) e vediamo se ci sono maggiori informazioni.