Patches for check_ide_smart: fix smart attribute comparison  [sf#3428117] [#1145]