update extlib to at least 0.9.16
Merge branch 'extlib-update' into 10-stable