Thanks José Carlos for your detailed analysis. I've checked in revision #710 with an updated configure script, should work now on all 64 bit systems.
Gregor
Thanks José Carlos for your detailed analysis. I've checked in revision #710 with an updated configure script, should work now on all 64 bit systems.
Gregor