Yes, I reconfigured them yesterday

Could it be that the services qemu-binfmt and guix-daemon still need to be restarted?

Bye

Stefan