The folder "iron" should be installed on $ISE_EIFFEL/tools/iron
Note the spec/*/ should be renamed accordingly to the platform.