Compilation fix for Win64 testing