rag.bat makes sure PATH change remains local.