workaround ubuntu's boost bug