uncommented xsb_patch_version in version.sh because otherwise the version string looks ugly (has a trailing dot).
Maybe somebody would want to fix that but until then xsb_patch_version shodn't be empty.
Updates related config files, which are generated by configure.