Fix test case for GenericTaintChecker. Redefinition of types is a C11 feature, and it broke a buildbot. Commit amended: 4fd6c6e6.