Fix the file name and compatibility with php < 5.5