Update INSTALL for ubuntu 12.04