fix key name

diff --git a/keydir/robinsmidsrob.pub b/keydir/robinsmidsrod.pub
similarity index 100%
rename from keydir/robinsmidsrob.pub
rename to keydir/robinsmidsrod.pub