Fix #28703: use debian alternative over fedora