... to workaround mingw GCC bug. Bug: 115807768 Change-Id: Ie75198115542e5ebdf3da3e225adf1a9ca887970
mentioned in commit 7a46d062