Added include of xsb_config.h, which is needed for windows64.
Authored by: dwarren 2013-10-30
Parent: [r7828]
Child: [r7830]
