Fix boost module: hook_exit() not running.