Added instruction for Ubuntu 12.10