added INSTALL comment for Fedora 19