bugfix: boost termination error at shutdown event