Updated travis definitions