travis: disable hsf; add "make travis"