Fixup full_tilapia.mk