update debian stable to 7.3
rename debian 7 definitions