Minor changes to set up Profiling of Binomial Heaps.