Rename mine01 to mine01.lua