circus port changed from 8080 to 8888