Set default port to 8000 (and 8443).