Serial.print messing with Timer Interrupts

As I already wrote: I have code for this:

ISR(TIMER2_COMPA_vect) {
    process_one_sample();
}

void initTimer2() {
    // Timer 2 CTC mode, prescaler 64
    TCCR2B = (1<<WGM22) | (1<<CS22);
    TCCR2A = (1<<WGM21);
    
    // 249 + 1 == 250 == 250 000 / 1000 ==  (16 000 000 / 64) / 1000
    OCR2A = 249;
    
    // enable Timer 2 interrupts
    TIMSK2 = (1<<OCIE2A);    
}

However I would have preferred the library approach. That way I would not have to explain to my readers how the timers actually work. Creating a recursively phase locked DCF clock will be more than enough to swallow.