Yet another minor middle-of-release fix

Has no impact on the past. Helps compile for Windows using GCC.