Re #5151. Drop the test until I can figure out the symbol export

for Windows. If I can.