fixing alternc_shutdown bug