Add comment about debian 7