Attempt to make fetch-ieee.sh compatible with BSD sed