Rename ALL.txt to ALL.mrc