undo hardcoding of ssl option in postgresql.conf