Bug#452554: Keyboard shortcuts for build do not work

[David]

In the laptop, also with Debian and similar configuration, F9 works nicely.

I have no idea of what is happening in this computer.

Thank you