configure: debian wheezy is 7.*, not just 7.0 (#13)