fix travis CI configuration file