Fix INSTALL file build instructions