Improve compilation time output in gui.