gcc44/gmp: fix last commit