sql_do_server_version() fixed

Happy Halloween