Make version.sgml depend on configure instead of Makefile.global. This

cheats a bit, but it avoids unsatisfied dependencies in distribution
tarballs.  (found by make distcheck)