Update update-server tools

Forgot to update them. But it turns out they are already multiplatform.