Fix ncrunch