added an include vm_translate.h to the test file