mkAllInsts now handles nearly all x86 and it produces valid file names for case-insensitive file systems