Use formulas to reference berkeley-db4 and gmp