Cmdstanr with Rtools 4.0 on Windows 10: mingw32-make.exe missing?

Your approach will work everytime, but its far from ideal.

Definitely.