Call her a big name and shorten it. IMHO that's much much better.
Just don't call her a big name - that really is a short name with fifty million extra unneeded letters lol.

Both my girls have old traditional names. They both get shorten down, and then they have a nickname as well. Although my 5yo says that I'm not allowed to call her her nickname anymore because I should know her name, lol.