I can always reproduce in Debian packaged 6.2.5, but not in 6.2.7 from source.
I'll check the build options if I get more time. or probably just build 6.2.7 using the Debian source package, so it is built with the same options, unless Antonio thinks there is relevant changes.
