whatsoever. The patch is not a solution, because configure is generated
from configure.in, and I don't know how to patch it to get a working
'configure'.

From: "Pedro J. Lobo" <pjlobo@euitt.upm.es>