pruning ssh pub keys