Fixed wrong config value name in INSTALL file