DEV: Incorrect name in precompile output. (PR #13602)

Follow-up to c54d58e28f9d026a1d9076e1740983d406c1bf79

GitHub

Thanks @lis2