Update to ESD #9

The section “Release of 32-bit binaries for 64-bit products on UNIX platforms” has been updated to include “Using strings to check the EBF number of 64-bit products”.