Procedures to install OpenQuake on Fedora 17