tweaks for boost 1.53 on linux