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