php file() and access to /proc/dev/net