mint: fix makefile derp

Change-Id: Id1bbc8478705b8e937c3023985b8f6056e03557a