server-side tweaks for the make_sandbox script
 saner counting