Use standard port

Port 8080 is being retired.