Bugfix for new GCC and Boost