BUG: boost stuff causing segfault