Comment by pogue

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