Use the system strcasestr() on Linux.