Everything looks fine on amd64 but the bug was reported on mips64el. Perhaps there is a discrepancy between architectures?
-- Ludovic Brenta. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

