Pushbutton lib: fix to work properly with multiple instances