fix filename extension