Another trick I read somewhere, if there's no windows available, is using a camera to format the card (there's no file system menu, but I guess if the camera is old enough it will format in FAT32...). Then I could even use my android tablet to transfer NOOBS into the card.