  o Minor bugfixes:
    - Correct a broken faq link in the INSTALL file. Fixes bug 2307.

