Alternativly, you could try the package "kbd" instead of "console-tools". -- Best regards, Jörg-Volker.