Handle sys_socket

Just set the filename to "socket" when we receive a sys_socket, we don't
have much more information at this point, but at least it gives the user
some information.

Reported-by: David Goulet <dgoulet@efficios.com>
Signed-off-by: Julien Desfossez <jdesfossez@efficios.com>