is it worth getting a sharpmaker just to sharpen a victorinox classic? i heard the pocket sharpener leaves jagged edge.