Minor typo fix in INSTALL-ubuntu.md.