I am sorry, but I will not work on this more, since I cannot tell why your compilers don't provide profiling support for some files and not for other files. Debugging this, lies well beyond the free GMP support; it would lie beyond even some hypothetical paid-for GMP support. -- Torbjörn