Index: src/InitTweak/FixInit.cc
===================================================================
--- src/InitTweak/FixInit.cc	(revision f0728921836dddcda765c8e1d819f407d111abb0)
+++ src/InitTweak/FixInit.cc	(revision 70a1c3aed5e5b84a329ddc71a02c60806fd80216)
@@ -824,5 +824,5 @@
 							// create a new object which is never used
 							static UniqueName dummyNamer( "_dummy" );
-							ObjectDecl * dummy = new ObjectDecl( dummyNamer.newName(), Type::StorageClasses( Type::Static ), LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), new VoidType( Type::Qualifiers() ) ), 0, std::list< Attribute * >{ new Attribute("unused") } );
+							ObjectDecl * dummy = new ObjectDecl( dummyNamer.newName(), Type::StorageClasses( Type::Static ), LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), new VoidType( Type::Qualifiers() ) ), 0, std::vector< Attribute * >{ new Attribute("unused") } );
 							delete ctorInit;
 							return dummy;
Index: src/InitTweak/InitTweak.cc
===================================================================
--- src/InitTweak/InitTweak.cc	(revision f0728921836dddcda765c8e1d819f407d111abb0)
+++ src/InitTweak/InitTweak.cc	(revision 70a1c3aed5e5b84a329ddc71a02c60806fd80216)
@@ -229,5 +229,5 @@
 
 				static UniqueName targetLabel( "L__autogen__" );
-				Label switchLabel( targetLabel.newName(), 0, std::list< Attribute * >{ new Attribute("unused") } );
+				Label switchLabel( targetLabel.newName(), 0, std::vector< Attribute * >{ new Attribute("unused") } );
 				for ( Initializer * init : *listInit ) {
 					Expression * condition;