diff --git a/client/gui/InterfaceBuilder.h b/client/gui/InterfaceBuilder.h
index 135896ec0..61a27e547 100644
--- a/client/gui/InterfaceBuilder.h
+++ b/client/gui/InterfaceBuilder.h
@@ -32,7 +32,7 @@ protected:
 		auto iter = widgets.find(name);
 		if(iter == widgets.end())
 			return nullptr;
-		return dynamic_pointer_cast<T>(iter->second);
+		return std::dynamic_pointer_cast<T>(iter->second);
 	}
 	
 private: