Fix incorrect TRIPLE_OS name for rocky linux 8
Fix incorrect TRIPLE_OS name for rocky linux 8
sgebbie/ponyc,sgebbie/ponyc,jemc/ponyc,ponylang/ponyc,dipinhora/ponyc,sgebbie/ponyc,ponylang/ponyc,jemc/ponyc,jemc/ponyc,sgebbie/ponyc,dipinhora/ponyc,sgebbie/ponyc,dipinhora/ponyc,ponylang/ponyc