@simon@procrastodon.net I don't know, it installed whatever it wanted when I ran the install years ago. :-)