diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc
index 5941c2d35..503640f40 100644
--- a/kernel/rtlil.cc
+++ b/kernel/rtlil.cc
@@ -715,7 +715,7 @@ pool<string> RTLIL::AttrObject::get_strpool_attribute(const RTLIL::IdString &id)
 	return data;
 }
 
-void RTLIL::AttrObject::set_hdlname_attribute(const vector<string> &hierarchy)
+void RTLIL::AttrObject::set_hdlname_attribute(const std::vector<string> &hierarchy)
 {
 	string attrval;
 	for (const auto &ident : hierarchy) {
@@ -731,7 +731,7 @@ vector<string> RTLIL::AttrObject::get_hdlname_attribute() const
 	return split_tokens(get_string_attribute(ID::hdlname), " ");
 }
 
-void RTLIL::AttrObject::set_intvec_attribute(const RTLIL::IdString& id, const vector<int> &data)
+void RTLIL::AttrObject::set_intvec_attribute(const RTLIL::IdString& id, const std::vector<int> &data)
 {
 	std::stringstream attrval;
 	for (auto &i : data) {
diff --git a/kernel/rtlil.h b/kernel/rtlil.h
index 4cc5591b6..6a8fab875 100644
--- a/kernel/rtlil.h
+++ b/kernel/rtlil.h
@@ -832,11 +832,11 @@ struct RTLIL::AttrObject
 		return get_string_attribute(ID::src);
 	}
 
-	void set_hdlname_attribute(const vector<string> &hierarchy);
-	vector<string> get_hdlname_attribute() const;
+	void set_hdlname_attribute(const std::vector<string> &hierarchy);
+	std::vector<string> get_hdlname_attribute() const;
 
-	void set_intvec_attribute(const RTLIL::IdString& id, const vector<int> &data);
-	vector<int> get_intvec_attribute(const RTLIL::IdString &id) const;
+	void set_intvec_attribute(const RTLIL::IdString& id, const std::vector<int> &data);
+	std::vector<int> get_intvec_attribute(const RTLIL::IdString &id) const;
 };
 
 struct RTLIL::SigChunk