BUG: eliminate boost bug