this is inconsistent with the `ictce` easyconfig btw, so make sure they're aligned