make server run on port 8888