adjusting filename extension