make compatible with the old version of boost (back to 1.33)