configure: fix the --without-ssl option

Closes #5807.