we don't label the unix binary with ".bin" anymore. Added EXEEXT stuff in configure/Makefile for cygwin.