handle version number in configure