exec "`dirname "$0"`"/../../../../waf "$@"
