afl: update to 0.85b (close #682).