Update several things to use int rather than c_int, since rustc complained about mismatched types.