Port changes from ppl011

* Depends on versions/m4 on Tiger.
* Specify gmp4 prefix.