(new:minor) Adapted to last changes to boost::sync_queue