Adapting to install 9.2 on Ubuntu Precise (12.04)