Replace peppermint7 with peppermint9

Linux Support
21

Yes thank you. All’s well.

Osmond