update INSTALL instructions for Fedora