use Erlang 17.1 on travis