make configure.ac more flexible for ICE