update extlib to at least 0.9.16