fix debian to standard name

change debian from "debian-7.2" to "debian-7.2.0"