Debian 9.13 releases: fix bugs & security vulnerabilities