Fix the listing header to include the source file name,
not the listing file name.