Re: [mkgmap-dev] [PATCH] Bug in label encoding