update our definition to debian 7.2.0