python3 json.dumps does not dump bytes