Include the module name in the extracted ASN.1 file.

This code path was looking backwards to find `$modName`, but never writing it to the output file.