modifications to puppet's init.pp, pushed vendor/phpseclib