add mavis to formulas

No `make install`?