xvfb-run: use the --auto-servernum option