Rename mine to mine.c