SIMA-HK: Disable debugging output.