Attempt to fix compilation of [b0aa4e50c] on non-linux machines.