[Other] Don't be shy about apt-get install for Travis.