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