Update INSTALL instructions for Fedora