Allow BIN_NAME to be defined on the command line (or a makefile that inc...

...ludes this one)