improve detection of repeated rescheduling of builds (fix #133)