Magic comment for encoding to fix CI for 1.9.3