travis: be more quiet