Fix problems with older version of boost