 void event_push(VFOEvent event)
 {
 #if (DEBUG & DEBUG_EVENT)
-  Serial.printf(F("event_push: pushing %s\n"), event2display(event));
+  Serial.printf("event_push: pushing %s\n", event2display(event));
 #endif
 
   // put new event into next empty slot

/* reboot the Teensy, invoking bootloader. */
void reboot(void)
{
  Serial.print(F("Rebooting ..."));
  delay(500);
  _reboot_Teensyduino_();
}

          if (holdtime > MaxHoldClickTime)
            holdtime = MaxHoldClickTime;
#if (DEBUG & DEBUG_ACT)
          Serial.printf("holdclick_action: vfo_RRight, after holdtime=%d\n", holdtime);
#endif
          break;
        case vfo_Click:
