added debian-7.3.0-amd64-puppet