craigdo@2846: exec "`dirname "$0"`"/../waf "$@"