A small program to administer singleton CoreOS machines