Right - the names "Butz" and "Lenna" and all the other "alternate" FF5 names are from the fan translation. Bartz, Reina, ect. are the names from the offical PSX translation.

Actually, I think our main man's name sounds like "BATZ" in Japanese, but since I don't speak nor read the languge, don't take my word on that one.