Fix building with boost 1.53: this header has been deprecated since boost 1.53

Signed-off-by: Ruben Smits <ruben.smits@mech.kuleuven.be>
Merge remote-tracking branch 'autobuild/master' into next