Is this function missing from eio, or is one supposed to use the one in the unix library (via eio_unix)?