Mention that install works for Ubuntu 12.10 also