Ticket #3642: make --with-subshell=optional working again.