updating to support debian 7.1 and TKL 13