libpftimers: fix monitor on i686