solve pushlet encode problem