Trivial bugfix for non-Windows builds.