start_server sets up port 8888; port 80 in the config means we make the right URLs