found debian 7.5.0 cd in archives, closes #965