Build fix: remove unknown definition

This was caused by merging #163. Since the PR was created and before we merged
it, we renamed umap_basic_int to umap_basic_num.