Build DUNE on RHEL5

Seeing that this depends on gmp-devel, maybe some of the packages further down the food-chain should be allowed to have that too?