Fix bootstrap.py check_cmd