GCC fix for boost