fedora20 with puppet