Fix compilation with -DDEBUG_MIDI_CLOCK