adding patch file for xsb configure.in

Signed-off-by: Jim Klo <jim.klo@sri.com>