added WITH_ILP switch