Fix Windows (mingw) build

Change-Id: Ifcd9cba682d68b64fecd6784ab631133c7d33c56