Fix travis and INSTALL