Alan Hourihane, 31.12.2012 15:19:08:
It was an easy change to config.h. I've committed the fix.
That was easy :-) -- Helmut Karlowski