Fixing apt-key deprecation on Debian 9 ("stretch")