Fixes ksched's alarm handler