Which are still considered part of Africa today though. However, I agree, it is entirely possible.Why not? "Africa" used to mean Tunisia and western Libya after all.
Placenames sometimes shift in very odd ways, just think of what we still call the "West Indies" sometimes.