Boost MBOX=10000 in sfh.h