work around a bug called Windows