--- a/src/wscript Mon Oct 27 23:05:57 2008 -0700 +++ b/src/wscript Wed Oct 29 11:49:21 2008 -0700 @@ -31,6 +31,7 @@ 'devices/wifi', 'helper', 'contrib/stats', + 'applications/v4ping', ) def set_options(opt):