Where is the source code for Gadgeteer.StorageDevice?

I'm trying to debug some unexpected behaviour with the GHI Gadgeteer SDCard module whereby saving a file to an SDCard silently results in no file appearing.

The source code for the SDCard module is available (from the root navigate to Main/Modules/GHIElectronics/SDCard/Software/SDCard/SDCard_42/SDCard_42.cs). The line in my code that's not doing what I expect is

sdCard.GetStorageDevice().WriteFile("picture.bmp", picture.PictureData);

Looking at the GHI source code GetStorageDevice() is simple:

public StorageDevice GetStorageDevice()
{
    return _device;
}

and _device is declared as

private StorageDevice _device;

Downloading the code I see that _device is of type Gadgeteer.StorageDevice. Where do I find the source code for that class?

Solution

I got an answer on the TINYCLR forum. It is in Main/GadgeteerCore/Gadgeteer42/Utilities.cs the current version (at the time of writing) is: http://gadgeteer.codeplex.com/SourceControl/changeset/view/24955#200043