Prefer `/tmp/server'.