[SOLVED, almost] Re: shift f1-f12 does not work in Ubuntu 12