A few queries re Debian 7.1.0