Some tweaks to syncserver setup

This fixes a couple of things I noticed while trying to use the newly-deployed syncserver functionality on latest and nightly.