diff --git a/kern/linux/linux_threadinfo.hh b/kern/linux/linux_threadinfo.hh
index 83a746059b..99ce9965a5 100644
--- a/kern/linux/linux_threadinfo.hh
+++ b/kern/linux/linux_threadinfo.hh
@@ -68,7 +68,7 @@ class ThreadInfo
             return VPtr<task_struct>(xc, task);
         }
 
-        string
+        std::string
         curTaskName()
         {
             return curTaskInfo()->comm;