Use 0.7.3 in INSTALL.txt linux instructions