stupid segfault in the boost circular buffer