Update ec_utils.h

Update from 'master'.