define JSON_PERTTY_PRINT for php < 5.4