convert script to python 3
adapt to dotnet dropping .exe suffix on linux