Switch to mini.mk