correct the mops-bootstrap version