change filename extensions in tool