old boost on travis blocked by travis-ci#1379