Rename Frodo version