Puppet cannot decide what 64bit name is