Added support for operating systems with /proc/self/fd, but not /dev/fd