Damiano: fixed bug in IDA ICE Lisp file writer