A few missing packages for debian wheezy