devtools: catch symbol duplicates in version map