Edited patch which included an unintended change to dist-format-astyle.bat.