Update INSTALL-UBUNTU
merging