argv[0] instead of './hanoi'