[PR][stage][Stage_back]Corrections to Def5 smoke tests