Add libavl 0.3.5