That's a point, but then pymakr should work reliably, like the Arduino UI does, as long as you stick with standard boards. At least, I never had any issues with installing Arduino on Linux or Windows.
AFAIK, the Windows version of pymakr has no installation problems, but I just tried an early version for a few moments.