Change server source file name to 'HttpsServer.cs'