Bad file descriptor?

Whenever I ping something from the Freedom U500 VC707 board, I get strange messages. What could they be from? I saw the microblaze-uclinux people had the same problem in the past, but no one posted the resolution. ssh and dhcp both work, so it can’t be that badly broken.

ping google.de

PING google.de (216.58.192.3): 56 data bytes
64 bytes from 216.58.192.3: seq=0 ttl=56 time=5.526 ms
ping: recvfrom: Bad file descriptor
64 bytes from 216.58.192.3: seq=1 ttl=56 time=4.702 ms
ping: recvfrom: Bad file descriptor
64 bytes from 216.58.192.3: seq=2 ttl=56 time=3.980 ms
ping: recvfrom: Bad file descriptor
^C
google.de ping statistics —
3 packets transmitted, 3 packets received, 0% packet loss
round-trip min/avg/max = 3.980/4.736/5.526 ms