cherry-pick another rump_server portability fix
Source for buildrump.sh git rev 30b7dc027553c186eeadeff75803b1c536f1172c