jeroen Update Travis config