Fix a build break on GNU/Linux when precompiled headers aren't used.
Authored by: david_costanzo 2023-02-20
Parent: [r5939]
Child: [r5941]