fix platform identification when running CLI under Win32
python3
2022-11-10, GP Orcullo