Fix maude profiler support.

The profiler needs to be turned on before rewriting. Also, there was a missing line separator.