Old filename left at head of main.c