travis: changed header of FILE.txt