fix compilation with older boost