added ubuntu-12.04-amd64-puppet