updates for Debian Wheezy