gjc@1315: exec "`dirname "$0"`"/../waf "$@"