Fix Jenkins build (this time for sure!)
Merge pull request #381 from bbiletch/sbl-dev

Fix Jenkins build (this time for sure!)