--- debian/tools/perf.old	2010-04-16 14:58:56.000000000 +0200
+++ debian/tools/perf	2010-04-22 18:38:37.045146948 +0200
@@ -1,4 +1,4 @@
 #!/bin/bash
 version=`uname -r`
-version=${version%-*}
+version=${version%%-[a-z-]*}
 exec "perf_$version" "$@"