adding debian-7.5.0