Correcting bugs in compilers wrappers