bootstrap.py: check version if waf already exists