added INSTALL.fedora