Merge tag '1.3.2' into develop

v1.3.2

- Miscellaneous fixes
Fix: we need both os and CPU type to identify the right downloads
Tweak: improve output from the InstallCommand a little
Update deps list
Version bump
Merge branch 'release/1.3.3'