Fix i4004.mk