OK, then I fail to see why simply setting `optarch=True` is not sufficient for `ictce`? Is it because of hardcoding in the Makefile?