patch boost to avoid non virtual destructor warning