diff --git a/repos/base/include/base/shared_object.h b/repos/base/include/base/shared_object.h
index 68ff4ba941..d5ebeb1767 100644
--- a/repos/base/include/base/shared_object.h
+++ b/repos/base/include/base/shared_object.h
@@ -60,7 +60,7 @@ class Genode::Shared_object
 		 */
 		template<typename T = void *> T lookup(const char *symbol) const
 		{
-			return static_cast<T>(_lookup(symbol));
+			return reinterpret_cast<T>(_lookup(symbol));
 		}
 
 		/**