Tweaked travis config

Fighting with uopz... to be expected though.