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>