Fixed encoding for Ceylon test