another apt-get update is needed to refresh the key

See https://github.com/machinekit/machinekit.github.io/issues/30