Use boost 1.48