EXTRA_DIST :=                   \
        linux-module.c        	\
	linux-sysctl.c          \
	linux-obdo.c