IDE: Fix logging of external process execution time so that it is visible on windows as well.
svghmi
2021-03-02, Edouard Tisserant