deb7 fix