Fixes path to patchlevel.py in doc/make.bat