setup for travis build
tweek dialyzer settings