c library update script: use new mavgen wrapper

The new wrapper was introduced in
8eb6635a4e24c48a3660e03be5817fb815c9e3f3 and thus mavgen can not be
called directly anymore.