fix the new travis nightly line
fix the new travis nightly line

anchovieshat/num,koverstreet/num,vks/num,rust-num/num,DonSheddow/num,jbcrail/num,jbcrail/num,achanda/num,rust-num/num-bigint,anchovieshat/num,rust-lang/num,rust-num/num,vks/num,achanda/num,rust-num/num-bigint,rust-num/num-traits,rust-lang/num,rust-num/num-integer,koverstreet/num,rust-num/num-integer,rust-num/num-traits,DonSheddow/num