IDE: Fix logging of external process execution time so that it is visible on windows as well.

2021-03-02, Edouard Tisserant