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