CLI utility to change filename extensions