On Thursday, 20 April 2017 at 05:02:37 UTC, Mike Parker wrote: > On Thursday, 20 April 2017 at 04:58:55 UTC, Mike Parker wrote: >> [...] > > I should add that Mike's suggestion to edit sc.ini should do > the trick, but I find it convenient to have both toolsets > installed. I'll give it a try, thanks to you and Mike J.! 👍🏻