Split batch files so that there is one for dev box and dev server.