update INSTALL_Ubuntu instructions