fix config files options in compile-rules and normalizeTerm