Make it work for debian 7.