Forgotten file (Makefile_mic)