XE4KAIST with XE 1.7.4.1