I noticed that the Debian 10 packages were broken. This was because debhelper was slightly too old, so the variable expansion in ethercat-dkms.install failed. Ubuntu 20.04 was not affected, because it has debhelper 12.10.