INSTALL-Frescobaldi*.md: oops, wrong command

didn't deal with multiple installed versions of ports