Linux's namespaces are funny