WIP -- fix librustc_driver/test.rs for the ty::mk_int() change