generated PlatformSpecific and ContextSpecific files