Fix name of travis setup file.