re-enabling debian-7.2