use a version number which fits better debian's scheme