gmp4-gcc48 for boost-gcc48