* configure.in: Use sed instead of awk to get the values of

* configure.in: Use sed instead of awk to get the values of
  hostfile, targetfile and nativefile.  Awk is not a utility
  required by the GNU coding standards.  This change also
  fixes the rigid whitespace requirements that were required
  for awk.
* configure: regenerated.