use travis default dialyzer with make fallback
use travis default dialyzer with make fallback