bugfix boost ext-lib