porting: gfanlib and gmp 4.0/4.1 (redhat)