Make the profiler aware of changes by Benni in commit 96fb4937fabdb0f20da2a88a6ac220b08234be56