ICE support, to compile on ICE use MakefileICE