hack around puppet/debian encoding issue