Revert to use of upstream binary .bin extension.