leave def constructor do its job, for broken compilers, re #10528