[Facts] Either might be true.
There is debate about it. If the former is true, then the spelling may have been altered from the original Arabic. It might even be Berber (those are the indigenous peoples of northwestern Africa - their languages are distantly related to Arabic).