travis-CI用のファイルのファイル名修正