config for debian 7