P3.4: Change Fedora service name back to puppet