rtsfind.adb (Check_CRT): Take into account RTE_Available_Call Fixes another case...