update INSTALL for Fedora