blind fix for reported Windows build error

Change-Id: Ia106f5b1ec5177099c098390ece7fda1a478078c