flymake-puppet recipe