These bug reports are for the old testsuite. The current testsuite is
passing for several GNU/Linux distributions.

Closing, but if these failures still exist, I will reopen.

-- 
Ileana Dumitrescu

GPG Public Key: FA26 CA78 4BE1 8892 7F22 B99F 6570 EA01 146F 7354