Update keyboard.c and timer.c: now they don't print