Patches for check_ide_smart.c won't build with gcc 2.96 [sf#2977105] [#1042]