bugfix for https server release