Rename, gmp-2.0.2 -> libgmp-2.0.2.