Generate proper #line directives in a few spots that were missing them.