The resolution turned out to be related to the use of Git Bash shell. Switching to a windows command shell solved the problem.