fix missing package on ubuntu 13.10 (saucy)