Adapt tested puppet version for Debian 7.0