1. 2010-05-11 make check fails on Playstation gmp-bugs Torbjorn Granlund 2. 2010-05-11 make check fails on Playstation gmp-bugs Paul Zimmermann