Note! I did not write that xconfig.awk . I just wanted to provide it
in this directory just for your convenience, because it may not be
available anymore.

Juhapekka Tolvanen