waf: headers. avoid loading entire shell when executing version.sh