removed “.tir” suffix in a part of ”all:”.