cohf compilation