Removing useless stuff in tiny.mk