It's 9.1 for Ubuntu 13.10.
Made another PR for Ubuntu 14.04 support: #299