Added support for Ubuntu 12.10 using the precise repo