I thought https servers were started with some extra options