Re: app/seoul: build fails with several "duplicate case value" errors