[wip] Open port 80 on Jenkins, not 8080.