
- comment out #include "ctrl_dummy.h" (it is not needed,
  and ctrl.h/CTRL_SIZE.h would now be missing).

altMITgcm/MITgcm66h,altMITgcm/MITgcm66h,altMITgcm/MITgcm66h,altMITgcm/MITgcm66h,altMITgcm/MITgcm66h,altMITgcm/MITgcm66h,altMITgcm/MITgcm66h,altMITgcm/MITgcm66h