Fix jenkins guest port mapping