Make Travis CI build BSPC