teos manpage: change filename