un-def was a desperate measure when std-def of the day
was suddenly plain broken.

This reverts 0e8871e7.

Shame on me, these shouldn't get forgotten in the first place.