rename hanoi.bf