change filename extensions in module