vcd2step depends on gmp