-include "ground/steps/rtc_ist_shift.ma".
-include "ground/steps/rtc_ist_plus.ma".
-include "ground/steps/rtc_ist_max.ma".
+include "ground/counters/rtc_ist_shift.ma".
+include "ground/counters/rtc_ist_plus.ma".
+include "ground/counters/rtc_ist_max.ma".