%define kernelpath /usr/src/kernels/%{kernel_id_arch}
%__make KERNELPATH=%kernelpath clean
-%__make KERNELPATH=%kernelpath
+%__make KERNELPATH=%kernelpath IPFW_PLANETLAB=1
%install
install -D -m 755 dummynet/ipfw_mod.ko $RPM_BUILD_ROOT/lib/modules/%{kernel_id}/net/netfilter/ipfw_mod.ko