Fix database server name for users-agreed script