Use a different encoding for debugtrap on PS4.