tests.sh: distinguish the generated file from the executed file