Rename checkflash to checkflash.hs