Updated INSTALL for Ubuntu 12.04