This was likely what he was originally called, given that "Maha Manikya" (literally meaning "Great Manikya") would be a very unusual personal name, especially considering that "Maha" is merely a prefix which is meaningless as a given name.