debian 7.0.0 compatible