use faster json lib if available