committing a patch to the profiler makefile that fixes a build bug
reported by Nuno Machado