workaround a weird upstream boost bug that will probably be fixed before anyone reads this