Fix exec file names in "PSR-1_and_PSR-2.bat".