Fix profiling in the maude backend.