From Axel: Don't use the same name for the wrapper and for the executable, this confuses cygwin ("bin/proofserv: File exists"). Rename to proofserv_exe.exe on all Windows platforms.
From Axel:
Don't use the same name for the wrapper and for the executable, this
confuses cygwin ("bin/proofserv: File exists"). Rename to
proofserv_exe.exe on all Windows platforms.


git-svn-id: ecbadac9c76e8cf640a0bca86f6bd796c98521e3@33516 27541ba8-7e3a-0410-8455-c3a389f83636

bbannier/ROOT,dawehner/root,bbannier/ROOT,dawehner/root,bbannier/ROOT,bbannier/ROOT,bbannier/ROOT,dawehner/root,dawehner/root,dawehner/root,dawehner/root,bbannier/ROOT,dawehner/root,bbannier/ROOT,dawehner/root