Correctly determine which file to use in typeCheckedPackage.

Now Test4Widget supports packages with > 1 files.