Switch everything on port 8888 to 443