[mkgmap-dev] Commit r4271: improve reader for polish (*.mp) format