Fix bug in alarmmgr_fini