Minor improvements to SETUP, switch build to boost 1.56