bugfix2: boost termination error at shutdown