dieter roelants wrote:
Is your /var(/chroot) perhaps mounted with nodev?
Yes, that was exactly it, the partition in question was mounted nodev. (I'd forgotten about that, embarassing...) Thanks for your help! Regards, Dave