Install boost on Travis CI