change the default python json encode