Update installation procedures for Ubuntu 12.04 users.