Use boost 1.48 by default