fix ping format for Linux