debian 7.7 support in bootstrap