>>>>> Stephen Borrill writes:

Stephen> Gavan's patch (which was committed) works fine, but he'd be
Stephen> the first to admit it's a hack. David wants to fix it
Stephen> properly.

Actually, Gavan's patch does not seem to work on all systems. As an
example, it does not work on one machine I have... There's a message
from me in the PR database for 26007 about that. :-(

Best regards,

        -- Urban