otter: update full_otter.mk