Ticket #3601: fix `./configure --without-internal-edit`