execute-tests: Fix compilation error with MSVC.