Fix make-bootstrap-rpc.py