Putting the right name for travis CI configuration file.