Fix typo in file name and remove deprecated use of mirror