changed handling of disable_interrupts default