Updated travis defs