add debouncing on the pushbuttons