Another attempt at fixing name mangling and gl__unused413().