Puppet 2.7.25 on debian 7 does not appear to trigger a refresh on the librarian-puppet exec after copying Puppetfile to /etc/puppet/Puppetfile. Need to investigate whether this is a puppet bug or expected behavior that can be worked around. On CentOS 6.4 and ubuntu 12.04 this doesn't happen.