Instead of fixing the source code, it appears that the company's developers made a series of careful changes directly to the buggy program's executable file.