Puppet module for VFense