add auto-servernum parameter for xvfb-run