Fix (hopefully) non-Windows build.