Do not use filename extensions in bin/

They are unnecessary, distracting and cause ugliness on command line.