Installation recipe for Ubuntu 12.10