We're eagerly initializing stdio now, so this can all be simplified. Change-Id: Icb288f8dd0ee08f02bea0d23670f75e78bed6b99