Rename the root level batch files to be easier on the eye and to match the deps dir format.