renamed travis ci extension file