Strip out manual UTF8 encoding (no longer necessary on modern GHC)