Repo update to fix Frodo compatibility