Help: ICE_FLAGS_FILE=FILENAME

filename to write into or read from

filename to write into or read from