Use multiple install arguments.
Merge branch 'platypus' into frescobaldi