Fix the file name for 3.0.13