Fix compilation of CoreTools.