Add an option for Ubuntu 13.10 pre-releases, which I am currently testing against...