rB4f81b4b4ce29 mistakenly left out the changes to platform_win32.cmake causing a linker error when WITH_GMP and WITH_TBB_MALLOC_PROXY were on.
rB4f81b4b4ce29 mistakenly left out the changes to platform_win32.cmake causing a linker error when WITH_GMP and WITH_TBB_MALLOC_PROXY were on.