updated FlashRuntimeExtensions.h