attempt to fix weird G++ vector issue