diff --git a/src/kern/linux/helpers.cc b/src/kern/linux/helpers.cc
index ed58427..e514ef8 100644
--- a/src/kern/linux/helpers.cc
+++ b/src/kern/linux/helpers.cc
@@ -94,7 +94,7 @@
 {
     System *system = tc->getSystemPtr();
     const SymbolTable *symtab = system->kernelSymtab;
-    FSTranslatingPortProxy proxy(tc);
+    PortProxy &proxy = tc->getVirtProxy();
 
     Addr addr_lb = 0, addr_lb_len = 0, addr_first = 0, addr_next = 0;
     const bool found_symbols =