> Maybe the best solution is to fix choosenim so that it compiles to the proper > target on Mac?
I think that sounds like a reasonable strategy. There's a logistical difficulty in that the creator/maintainer of choosenim is no longer involved in the Nim community and has been unresponsive since late 2022. Maybe it's finally time to fork it under github.com/nim-lang ?