Actually leave secp160r1 as the default for the convenience of Pinoccio.