EXTRA_DIST = linux-prim.c \
	     linux-curproc.c \
	     linux-hash.c \
	     linux-wait.c