Fix NULL alarm_timer pointer at exit