I have windows 7 x64 and a 4 Go big SD card. Will this be enough?