Encodes a filename according to RFC 2231~