Also, see if replacing "sudo debian hilda" with "debbie" works. I would love to know if that works now.