-include "ground/steps/rtc_max_shift.ma".
-include "ground/steps/rtc_isrt_plus.ma".
-include "ground/steps/rtc_isrt_max_shift.ma".
+include "ground/counters/rtc_max_shift.ma".
+include "ground/counters/rtc_isrt_plus.ma".
+include "ground/counters/rtc_isrt_max_shift.ma".