Debian 13 support

[professional_prutser]

@mschlenker

So, it will probably take until p11 or p12.

Friendly reminder.
2.4.0p14 Is out, but still no support for the current Debian stable release.