Fix the filename extension