Update the temporary hack for `format/2-3` in the ECLiPSe adapter file to correctly process the `~~` escape option