Update ec_inet.h

Update from 'master'.