Fix debian 7.1 install