Another tempative fix for failure on test_virtualmem.cpp