Revert "update velib"

This reverts commit 21402c18dddc70ee4f5e1b05aa67ff891ec4719c.