deb: support Ubuntu 13.10 (Saucy Salamander)