Puppet is now at 1.10.0, so this issue is moot.