Workaround to fix packages not installing after Debian 10 release