Update debian-7.5.md