Use more standard name for one option of packaging’s install_distinfo