fix missing boost on travis-ci