workaround for libstdc++: vector::insert() still requires a mutable iterator