Have an INSTALL doc for Ubuntu 16.04