puppet: fix duplicate declarations

Change-Id: Ibd2aa8cce14d86c47d82e673aec655202d29f3cb
Signed-off-by: Giuseppe Lavagetto <glavagetto@wikimedia.org>