Update bat files to to use json extension.