fix ktest bug: isDefinitionKompiled check -d argument and default value of -d of programs should be set using -d of kompile