get rid of WITH_SSL in header files