switch to puppet-php