re-run azulfix.v1 on examples to fix math imports