Lukas Dresel

@vanhauser-thc could that be the reason why `aflplusplus` is the only one (other than centipede) making progress on `sqlite3`? 

@Alan32Liu did you restart them?? The start has fully reset from scratch.