Fixes bug with debian when installing puppet with puppet_install.sh script