Use boost 1.48 rather ubuntu 12.04's default of 1.46