INSTALL-Frescobaldi.*: oops, forgot a piece