waf: this script does need bash