Updated Travis definition