Yet another fix for the Windows startup script:

- #140: replace prompt with pause as it will actually stop the
  execution of the script (thanks to Markus G.).