Migrate to OpenSTV 1.7