Fixed bug. Thanks to Francesco Chemolli <tsci0603@birillo.cdc.polimi.it>. Rev: src/configure.in:1.165