attempt to fix a weird Windows bug