Debian 13 support

[professional_prutser]

@mschlenker

So, it will probably take until p11 or p12.

2.4.0p12 Is out, but still no support for the current Debian stable release.