Fixed a pb with travis config file