They've probably been converted over the years, just like you might convert an mp3 into flac or ogg or whatever.