Use standard json module, if available, to quieten down DeprecationWarning