updated profiling on os x

Shark is long gone. Instruments works but does not give any useful function names, so profiling on OS X is essentially broken.