modifying file extension